From 2a8ea4886e1d1789797a34c1dfef83d11dd57716 Mon Sep 17 00:00:00 2001 From: =?utf8?q?Jonas=20Dre=C3=9Fler?= Date: Tue, 23 Apr 2024 14:53:24 +0200 Subject: [PATCH] overviewControls: Allocate a bit more space for the dash We want the dash to show the larger icons as often as possible, and giving it a height of 16% instead of 15% helps with that on common screen resolutions. Part-of: --- js/ui/overviewControls.js | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/js/ui/overviewControls.js b/js/ui/overviewControls.js index 21084b110..8e335d2a5 100644 --- a/js/ui/overviewControls.js +++ b/js/ui/overviewControls.js @@ -20,7 +20,7 @@ import * as WorkspaceThumbnail from './workspaceThumbnail.js'; import * as WorkspacesView from './workspacesView.js'; export const SMALL_WORKSPACE_RATIO = 0.15; -const DASH_MAX_HEIGHT_RATIO = 0.15; +const DASH_MAX_HEIGHT_RATIO = 0.16; const VERTICAL_SPACING_RATIO = 0.02; const THUMBNAILS_SPACING_ADJUSTMENT_TOP = 0.6; const THUMBNAILS_SPACING_ADJUSTMENT_BOTTOM = 0.4; -- 2.39.5